Efficient Syntax-Driven Lumping of Differential Equations
نویسندگان
چکیده
We present an algorithm to compute exact aggregations of a class of systems of ordinary differential equations (ODEs). Our approach consists in an extension of Paige and Tarjan’s seminal solution to the coarsest refinement problem by encoding an ODE system into a suitable discrete-state representation. In particular, we consider a simple extension of the syntax of elementary chemical reaction networks because i) it can express ODEs with derivatives given by polynomials of degree at most two, which are relevant in many applications in natural sciences and engineering; and ii) we can build on two recently introduced bisimulations, which yield two complementary notions of ODE lumping. Our algorithm computes the largest bisimulations in O(r ·s · log s) time, where r is the number of monomials and s is the number of variables in the ODEs. Numerical experiments on real-world models from biochemistry, electrical engineering, and structural mechanics show that our prototype is able to handle ODEs with millions of variables and monomials, providing significant model reductions.
منابع مشابه
Existence and Measurability of the Solution of the Stochastic Differential Equations Driven by Fractional Brownian Motion
متن کامل
Exact epidemic models on graphs using graph-automorphism driven lumping.
The dynamics of disease transmission strongly depends on the properties of the population contact network. Pair-approximation models and individual-based network simulation have been used extensively to model contact networks with non-trivial properties. In this paper, using a continuous time Markov chain, we start from the exact formulation of a simple epidemic model on an arbitrary contact ne...
متن کاملAn efficient approach for availability analysis through fuzzy differential equations and particle swarm optimization
This article formulates a new technique for behavior analysis of systems through fuzzy Kolmogorov's differential equations and Particle Swarm Optimization. For handling the uncertainty in data, differential equations have been formulated by Markov modeling of system in fuzzy environment. First solution of these derived fuzzy Kolmogorov's differential equations has been found by Runge-Kutta four...
متن کاملAn efficient extension of the Chebyshev cardinal functions for differential equations with coordinate derivatives of non-integer order
In this study, an effective numerical method for solving fractional differential equations using Chebyshev cardinal functions is presented. The fractional derivative is described in the Caputo sense. An operational matrix of fractional order integration is derived and is utilized to reduce the fractional differential equations to system of algebraic equations. In addition, illustrative examples...
متن کاملEffect of linear lumping on controllability and observability
The effect of linear lumping, linear transformation to reduce the number of state variables on controllability and observability of linear differential equations has been studied. Controllability of the original system implies the controllability of the lumped system. Examples taken from reaction kinetics illustrate our results.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016